Results for 'Graham Emil Leigh'

994 found
Order:
  1. An ordinal analysis for theories of self-referential truth.Graham Emil Leigh & Michael Rathjen - 2010 - Archive for Mathematical Logic 49 (2):213-247.
    The first attempt at a systematic approach to axiomatic theories of truth was undertaken by Friedman and Sheard (Ann Pure Appl Log 33:1–21, 1987). There twelve principles consisting of axioms, axiom schemata and rules of inference, each embodying a reasonable property of truth were isolated for study. Working with a base theory of truth conservative over PA, Friedman and Sheard raised the following questions. Which subsets of the Optional Axioms are consistent over the base theory? What are the proof-theoretic strengths (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  2. Five papers on axiomatic theories of truth.Graham Emil Leigh - 2010 - Bulletin of Symbolic Logic 16 (3):424-428.
     
    Export citation  
     
    Bookmark  
  3.  37
    Conservativity for theories of compositional truth via cut elimination.Graham E. Leigh - 2015 - Journal of Symbolic Logic 80 (3):845-865.
  4.  86
    Axiomatic truth, syntax and metatheoretic reasoning.Graham E. Leigh & Carlo Nicolai - 2013 - Review of Symbolic Logic 6 (4):613-636.
    Following recent developments in the literature on axiomatic theories of truth, we investigate an alternative to the widespread habit of formalizing the syntax of the object-language into the object-language itself. We first argue for the proposed revision, elaborating philosophical evidences in favor of it. Secondly, we present a general framework for axiomatic theories of truth with theories of syntax. Different choices of the object theory O will be considered. Moreover, some strengthenings of these theories will be introduced: we will consider (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  5.  72
    The Friedman—Sheard programme in intuitionistic logic.Graham E. Leigh & Michael Rathjen - 2012 - Journal of Symbolic Logic 77 (3):777-806.
    This paper compares the roles classical and intuitionistic logic play in restricting the free use of truth principles in arithmetic. We consider fifteen of the most commonly used axiomatic principles of truth and classify every subset of them as either consistent or inconsistent over a weak purely intuitionistic theory of truth.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  62
    A proof-theoretic account of classical principles of truth.Graham E. Leigh - 2013 - Annals of Pure and Applied Logic 164 (10):1009-1024.
    This paper explores the interface between principles of self-applicable truth and classical logic. To this end, the proof-theoretic strength of a number of axiomatic theories of truth over intuitionistic logic is determined. The theories considered correspond to the maximal consistent collections of fifteen truth-theoretic principles as isolated in Leigh and Rathjen.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  26
    A companion to philosophy in Australia & New Zealand.Graham Robert Oppy, Nick Trakakis, Lynda Burns, Steven Gardner & Fiona Leigh (eds.) - 2011 - Clayton, Victoria, Australia: Monash University Publishing.
    This work is a companion to philosophy in Australia and New Zealand. It contains over two hundred entries on: Australasian philosophy departments; notable Australasian philosophers; significant events in the history of Australasian philosophy; and areas to which Australasian philosophers have made notable contributions.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Some Weak Theories of Truth.Graham E. Leigh - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.
    In this article we present a number of axiomatic theories of truth which are conservative extensions of arithmetic. We isolate a set of ten natural principles of truth and prove that every consistent permutation of them forms a theory conservative over Peano arithmetic.
     
    Export citation  
     
    Bookmark   2 citations  
  9. Truth is Simple.Leon Horsten & Graham E. Leigh - 2017 - Mind 126 (501):195-232.
    Even though disquotationalism is not correct as it is usually formulated, a deep insight lies behind it. Specifically, it can be argued that, modulo implicit commitment to reflection principles, all there is to the notion of truth is given by a simple, natural collection of truth-biconditionals.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  10.  23
    Truth is Simple.Leon Horsten & Graham E. Leigh - 2016 - Mind:fzv184.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  11.  21
    Herbrand Confluence for First-Order Proofs with Π2-Cuts.Graham E. Leigh, Stefan Hetzl & Bahareh Afshari - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 5-40.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  18
    Cyclic proofs for the first-order µ-calculus.Bahareh Afshari, Sebastian Enqvist & Graham E. Leigh - forthcoming - Logic Journal of the IGPL.
    We introduce a path-based cyclic proof system for first-order $\mu $-calculus, the extension of first-order logic by second-order quantifiers for least and greatest fixed points of definable monotone functions. We prove soundness of the system and demonstrate it to be as expressive as the known trace-based cyclic systems of Dam and Sprenger. Furthermore, we establish cut-free completeness of our system for the fragment corresponding to the modal $\mu $-calculus.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Revision Revisited.Leon Horsten, Graham E. Leigh, Hannes Leitgeb & Philip Welch - 2012 - Review of Symbolic Logic 5 (4):642-664.
    This article explores ways in which the Revision Theory of Truth can be expressed in the object language. In particular, we investigate the extent to which semantic deficiency, stable truth, and nearly stable truth can be so expressed, and we study different axiomatic systems for the Revision Theory of Truth.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  14.  25
    Herbrand's theorem as higher order recursion.Bahareh Afshari, Stefan Hetzl & Graham E. Leigh - 2020 - Annals of Pure and Applied Logic 171 (6):102792.
  15.  28
    Justifying Deaths: The Chronicler Pierre des Vaux-de-Cernay and the Massacre of Béziers.Elaine Graham-Leigh - 2001 - Mediaeval Studies 63 (1):283-303.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  17
    S. Feferman. Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56 , no. 1, pp. 1–49. - W. N. Reinhardt. Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic, vol. 15 , no. 2, pp. 219–251. - V. Halbach and L. Horsten. Axiomatizing Kripke’s theory of truth. The Journal of Symbolic Logic, vol. 71 , no. 2, pp. 667–712 - H. Friedman and M. Sheard. An axiomatic approach to self-referential truth.Annals of Pure and Applied Logic, vol. 33 , no. 1, pp. 1–21. - V. Halbach. A system of complete and consistent truth. Notre Dame Journal of Formal Logic, vol. 35 , no. 3, pp. 311–327. [REVIEW]Graham E. Leigh - 2010 - Bulletin of Symbolic Logic 16 (3):424-428.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  18
    The Copernican Multiverse of Sets.Paul K. Gorbow & Graham E. Leigh - 2022 - Review of Symbolic Logic 15 (4):1033-1069.
    We develop an untyped framework for the multiverse of set theory. $\mathsf {ZF}$ is extended with semantically motivated axioms utilizing the new symbols $\mathsf {Uni}(\mathcal {U})$ and $\mathsf {Mod}(\mathcal {U, \sigma })$, expressing that $\mathcal {U}$ is a universe and that $\sigma $ is true in the universe $\mathcal {U}$, respectively. Here $\sigma $ ranges over the augmented language, leading to liar-style phenomena that are analyzed. The framework is both compatible with a broad range of multiverse conceptions and suggests its (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  5
    Revisiting the conservativity of fixpoints over intuitionistic arithmetic.Mattias Granberg Olsson & Graham E. Leigh - 2023 - Archive for Mathematical Logic 63 (1):61-87.
    This paper presents a novel proof of the conservativity of the intuitionistic theory of strictly positive fixpoints, $$\widehat{{\textrm{ID}}}{}_{1}^{{\textrm{i}}}{}$$ ID ^ 1 i, over Heyting arithmetic ($${\textrm{HA}}$$ HA ), originally proved in full generality by Arai (Ann Pure Appl Log 162:807–815, 2011. https://doi.org/10.1016/j.apal.2011.03.002). The proof embeds $$\widehat{{\textrm{ID}}}{}_{1}^{{\textrm{i}}}{}$$ ID ^ 1 i into the corresponding theory over Beeson’s logic of partial terms and then uses two consecutive interpretations, a realizability interpretation of this theory into the subtheory generated by almost negative fixpoints, and (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  10
    Proof Systems for Two-Way Modal Mu-Calculus.Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh, Johannes Marti & Yde Venema - forthcoming - Journal of Symbolic Logic:1-50.
    We present sound and complete sequent calculi for the modal mu-calculus with converse modalities, aka two-way modal mu-calculus. Notably, we introduce a cyclic proof system wherein proofs can be represented as finite trees with back-edges, i.e., finite graphs. The sequent calculi incorporate ordinal annotations and structural rules for managing them. Soundness is proved with relative ease as is the case for the modal mu-calculus with explicit ordinals. The main ingredients in the proof of completeness are isolating a class of non-wellfounded (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. The liar paradox and the inclosure schema.Emil Badici - 2008 - Australasian Journal of Philosophy 86 (4):583 – 596.
    In Beyond the Limits of Thought [2002], Graham Priest argues that logical and semantic paradoxes have the same underlying structure (which he calls the Inclosure Schema ). He also argues that, in conjunction with the Principle of Uniform Solution (same kind of paradox, same kind of solution), this is sufficient to 'sink virtually all orthodox solutions to the paradoxes', because the orthodox solutions to the paradoxes are not uniform. I argue that Priest fails to provide a non-question-begging method to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  21.  17
    Exaggerating Emile (and Skipping Sophie) while sliding past The Social Contract.Graham P. McDonough - 2021 - Teaching Philosophy 44 (2):159-186.
    This paper examines how philosophy of education textbooks present Jean-Jacques Rousseau’s views on women and socialization. It reviews ten texts, involving nine authors, and finds that they generally focus on the concepts of Nature, Negative Education, and Child Development from Books I-III of Emile, but severely restrict mentioning its Book V and The Social Contract. While these results implicitly reflect Rousseau’s historical influence on “progressive” educators, they do not seriously attend to well-established critiques of Rousseau’s sexism and omit acknowledging his (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. "Reading Dance: Bodies and Subjects in Contemporary American Dance": Susan Leigh Foster. [REVIEW]Graham Mcfee - 1988 - British Journal of Aesthetics 28 (2):190.
     
    Export citation  
     
    Bookmark  
  23. Haidt & Graham --.Jonathan Haidt & Jesse Graham - unknown
    Most academic efforts to understand morality and ideology come from theorists who limit the domain of morality to issues related to harm and fairness. For such theorists, conservative beliefs are puzzles requiring non-moral explanations. In contrast, we present moral foundations theory, which broadens the moral domain to match the anthropological literature on morality. We extend the theory by integrating it with a review of the sociological constructs of community, authority, and sacredness, as formulated by Emile Durkheim and others. We present (...)
     
    Export citation  
     
    Bookmark   1 citation  
  24.  15
    Émile ou de l'éducation (review).Gregor Sebba - 1963 - Journal of the History of Philosophy 1 (2):258-259.
    In lieu of an abstract, here is a brief excerpt of the content:258 HISTORY OF PHILOSOPHY and diversity"-- ("it is useless to deny or even minimize the incongruities and the contradictions" in Rousseau's statements, as Burgelin says in another book). Instead he puts the finger on the one trait that sets this piece of rationalism (or anti-rationalism, as some would say) apart from all others: not sentiment verging on the mystical, but egocentrism, existentially founded and unique. Rousseau, taking a stand (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Knowledge is Not Our Norm of Assertion.Peter J. Graham & Nikolaj J. L. L. Pedersen - 2024 - In Blake Roeber, Ernest Sosa, Matthias Steup & John Turri (eds.), Contemporary Debates in Epistemology, 3rd edition. Wiley-Blackwell.
    The norm of assertion, to be in force, is a social norm. What is the content of our social norm of assertion? Various linguistic arguments purport to show that to assert is to represent oneself as knowing. But to represent oneself as knowing does not entail that assertion is governed by a knowledge norm. At best these linguistic arguments provide indirect support for a knowledge norm. Furthermore, there are alternative, non-normative explanations for the linguistic data (as in recent work from (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. .D. Graham J. Shipley - 2018
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  27. Ontological arguments and belief in God.Graham Robert Oppy - 1995 - Cambridge UK: Cambridge University Press.
    This book is a unique contribution to the philosophy of religion. It offers a comprehensive discussion of one of the most famous arguments for the existence of God: the ontological argument. The author provides and analyses a critical taxonomy of those versions of the argument that have been advanced in recent philosophical literature, as well as of those historically important versions found in the work of St Anselm, Descartes, Leibniz, Hegel and others. A central thesis of the book is that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  28. Agent-Based Computational Economics: Overview and Brief History.Leigh Tesfatsion - 2023 - In Ragupathy Venkatachalam (ed.), Artificial Intelligence, Learning, and Computation in Economics and Finance. Cham: Springer. pp. 41-58.
    Scientists and engineers seek to understand how real-world systems work and could work better. Any modeling method devised for such purposes must simplify reality. Ideally, however, the modeling method should be flexible as well as logically rigorous; it should permit model simplifications to be appropriately tailored for the specific purpose at hand. Flexibility and logical rigor have been the two key goals motivating the development of Agent-based Computational Economics (ACE), a completely agent-based modeling method characterized by seven specific modeling principles. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  33
    Émile ou de l'éducation (review). [REVIEW]Gregor Sebba - 1963 - Journal of the History of Philosophy 1 (2):258-259.
    In lieu of an abstract, here is a brief excerpt of the content:258 HISTORY OF PHILOSOPHY and diversity"-- ("it is useless to deny or even minimize the incongruities and the contradictions" in Rousseau's statements, as Burgelin says in another book). Instead he puts the finger on the one trait that sets this piece of rationalism (or anti-rationalism, as some would say) apart from all others: not sentiment verging on the mystical, but egocentrism, existentially founded and unique. Rousseau, taking a stand (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  30.  22
    Émile ou de l'éducation (review). [REVIEW]Gregor Sebba - 1963 - Journal of the History of Philosophy 1 (2):258-259.
    In lieu of an abstract, here is a brief excerpt of the content:258 HISTORY OF PHILOSOPHY and diversity"-- ("it is useless to deny or even minimize the incongruities and the contradictions" in Rousseau's statements, as Burgelin says in another book). Instead he puts the finger on the one trait that sets this piece of rationalism (or anti-rationalism, as some would say) apart from all others: not sentiment verging on the mystical, but egocentrism, existentially founded and unique. Rousseau, taking a stand (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31.  5
    Hope, Resistance, and Poetry in Two Russian Autobiographies.Leigh - 2004 - Renascence 56 (3):197-207.
  32. Aristotle's reading of Plato.Daniel W. Graham - 2004 - In Jorge J. E. Gracia & Jiyuan Yu (eds.), Uses and abuses of the classics: Western interpretations of Greek philosophy. Burlington, VT: Ashgate.
  33.  30
    The religious dimension in Hegel's thought.Emil L. Fackenheim - 1967 - Chicago: University of Chicago Press.
  34.  10
    Right concentration: a practical guide to the jhanas.Leigh Brasington - 2015 - Boston: Shambhala.
    The Buddhist jhanas--successive states of deep focus or meditative absorbtion--demystified. A very practical guidebook for meditators for navigating their way through these states of bliss and concentration. One of the elements of the Eightfold Path the Buddha taught is Right Concentration: the one-pointedness of mind that, together with ethics, livelihood, meditation, and so forth, leads to the ultimate freedom from suffering. The Jhanas are the method the Buddha himself taught for achieving Right Concentration. They are a series of eight successive (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. The Function of Perception.Peter J. Graham - 2014 - In Abrol Fairweather (ed.), Virtue Scientia: Bridges between Virtue Epistemology and Philosophy of Science. Dordrecht, Netherlands: Synthese Library. pp. 13-31.
    What is the biological function of perception? I hold perception, especially visual perception in humans, has the biological function of accurately representing the environment. Tyler Burge argues this cannot be so in Origins of Objectivity (Oxford, 2010), for accuracy is a semantical relationship and not, as such, a practical matter. Burge also provides a supporting example. I rebut the argument and the example. Accuracy is sometimes also a practical matter if accuracy partly explains how perception contributes to survival and reproduction.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  36.  47
    God's presence in history: Jewish affirmations and philosophical reflections.Emil L. Fackenheim - 1970 - Northvale, N.J.: J. Aronson.
    Comprises the Charles F. Deems Lectures delivered at New York University in 1968. Discusses the significance of the Holocaust, emphasizing theological issues, and its uniqueness in history. An authentic response to it - religious or secular - is a commitment to the autonomy and security of the State of Israel. Refers to Jewish midrash to explore the meaning and significance of the Holocaust and relates Jewish thinking about the Holocaust to Jewish thinking about earlier catastrophes. Jewish particularism remains a scandal (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  37.  31
    The eudemian ethics on the voluntary, friendship, and luck: the Sixth S.V. Keeling Colloquium in Ancient Philosophy.Fiona Leigh (ed.) - 2012 - Boston: Brill.
    The papers in this collection on Aristotle’s Eudemian Ethics by Charles, Rowe, McCabe, Whiting, and Buddensiek, offer new readings of Aristotle on the voluntary, friendship, and good fortune in the EE, by treating the EE on its own terms.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  55
    Christianity and the Problem of Free Will.Leigh Vicens - 2023 - Cambridge University Press.
    Central to the teachings of Christianity is a puzzle: on the one hand, sin seems something that humans do not do freely and so cannot be not responsible for, since it is unavoidable; on the other hand, sin seems something that we must be responsible for and so do freely, since we are enjoined to repent of it, and since it makes us liable to divine condemnation and forgiveness. After laying out the puzzle in more depth, this Element considers three (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  4
    Schelling.Émile Bréhier - 1912 - Paris,: F. Alcan.
    Excerpt from Schelling Cette ardente propagande en faveur de Fichte, tout au tant que l'appréciation de Fichte lui - mème, ont amené à désigner sous le nom de période fichtéenne l'époque de Tü bingen et de Leipzig Où Schelling écrit ses premiers trai tés de philosophie générale un accord complet avec Fichte aurait donc précédé la période suivante qui est celle de la philosophie de lanature. Pourtant de ces traités les uns, écrits a Tübingen, sont antérieurs aux études physiques de (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  22
    ‘I will know it when I taste it’: trust, food materialities and social media in Chinese alternative food networks.Leigh Martindale - 2020 - Agriculture and Human Values 38 (2):365-380.
    Trust is often an assumed outcome of participation in Alternative Food Networks (AFNs) as they directly connect producers with consumers. It is based on this potential for trust “between producers and consumers” that AFNs have emerged as a significant field of food studies analysis as it also suggests a capacity for AFNs to foster associated embedded qualities, like ‘morality’, ‘social justice’, ‘ecology’ and ‘equity’. These positive benefits of AFNs, however, cannot be taken for granted as trust is not necessarily an (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  41. Professional ethics and civic morals.Emile Durkheim - 1957 - New York: Routledge.
    In Professional Ethics and Civic Morals , Emile Durkheim outlined the core of his theory of morality and social rights which was to dominate his work throughout the course of his life. In Durkheim's view, sociology is a science of morals which are objective social facts, and these moral regulations form the basis of individual rights and obligations. This book is crucial to an understanding of Durkheim's sociology because it contains his much-neglected theory of the state as a moral institution, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   65 citations  
  42.  11
    The lost history of cosmopolitanism: the early modern origins of the intellectual ideal.Leigh Penman - 2020 - New York, NY: Bloomsbury Academic.
    This book provides the first intellectual history of cosmopolitan ideas in the early modern age. The roots of modern cosmopolitanism can be traced back to as early as the 1500s when a meta-narrative and awareness of the cosmopolitan idea came into existence. Unearthing occurrences of cosmopolitan language in popular media and analysing the writings of leading thinkers, Leigh T.I. Penman illustrates how cosmopolitanism was not, as previously thought, purely secular and inclusive but could be sacred and exclusive too. And, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Theological Determinism.Leigh Vicens - 2014 - Internet Encyclopedia of Philosophy.
    Theological Determinism Theological determinism is the view that God determines every event that occurs in the history of the world. While there is much debate about which prominent historical figures were theological determinists, St. Augustine, Thomas Aquinas, John Calvin, and Gottfried Leibniz all seemed to espouse the view at least at certain points in their … Continue reading Theological Determinism →.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  84
    Introduction to Non-Classical Logic.Graham Priest - 2001 - Cambridge and New York: Cambridge University Press.
    This is the first introductory textbook on non-classical propositional logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   127 citations  
  45.  28
    Mistakes.Leigh Bienen - 1978 - Philosophy and Public Affairs 7 (3):224-245.
  46.  21
    Chesterton and Modern Drama.Leigh - 1976 - Renascence 28 (4):171-180.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  54
    Suffering and the Sacred in Flannery O'Connors Short Stories.Leigh - 2013 - Renascence 65 (5):365-379.
  48.  15
    On doubt.Leigh Sales - 2009 - Carlton, Vic.: Melbourne University.
  49.  41
    Introduction to the special issue: applied critical realism in the social sciences.Leigh Price & Lee Martin - 2018 - Journal of Critical Realism 17 (2):89-96.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  50. Arguing About Gods.Graham Oppy - 2006 - New York: Cambridge University Press.
    In this book, Graham Oppy examines arguments for and against the existence of God. He shows that none of these arguments is powerful enough to change the minds of reasonable participants in debates on the question of the existence of God. His conclusion is supported by detailed analyses of the arguments as well as by the development of a theory about the purpose of arguments and the criteria that should be used in judging whether or not arguments are successful. (...)
1 — 50 / 994